CCF杰出会员和杰出讲者、CCF副秘书长、CCF Yocsef荣誉委员。清华大学计算机系教授，主要研究领域为并行与分布式系统的编程系统。获国家科技进步二等奖一次，部级科技一等奖两次。多次担任高性能计算和并行计算重要国际会议如PPoPP，CGO，SC，PLDI，ASPLOS，APSYS的程序委员会委员，《ACM通讯(中文版)》主编。
